一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

一种拦截机动目标的最优制导律设计

引入伪控制变量的概念,建立了线性化的描述导弹与目标相对运动的状态方程.应用线性二次型最优控制理论和改进剩余时间的计算方法,提出了一种拦截高机动目标的最优制导律.通过与比例导引律在平面拦截过程中的仿真结果对比分析,表明所提出的最优制导律在拦截机动目标时更为有效.     

重点目标防空作战中多预警机协同探测空域配置

针对重点目标防空作战中预警机空域配置问题,构建了多预警机阵位选择和架数优化配置模型.通过分析重点目标预警线划分,确定预警机防空作战具体任务,从而构建其阵位选择量化模型,并以此为基础,提出了一种在确保自身安全且充分发挥预警机固有探测威力前提下的多预警机并立航线和串接航线空域配置量化模型.实例运算结果表明,该模型能够对比分...     

面向复杂几何模型的多级并行四面体网格生成算法

高性能计算机的快速发展为数值模拟提供了必需的硬件环境,数值模拟领域对网格的需求已高达数十亿到数百亿量级,而网格生成作为数值模拟的重要一环,其发展则相对滞后,很难满足并行数值模拟求解器对大规模网格的需求。本文面向复杂几何模型提出一种多级并行四面体网格生成算法,该算法首先基于模型的几何特征建立网格的尺寸场,并基于尺寸场和几何实体间的邻接关系对几何实体进行分组,将分组后的几何实体分配到不同的计算节点,在计算节点间采用前沿推进法实现三角形面网格的并行生成,然后在计算节点内对三角形面网格进行二级区域分解,将分解后的子网格分配到各进程中,最后在进程内采用多线程并行方法实现四面体网格的并行生成。通过实际应用三峡大坝模型进行验证,该算法具有良好的并行效率和可扩展性,可以在数千处理器核上实现十亿规模高质量四面体网格的并行生成。     

进度风险的随机网络建模与仿真分析

为研究装备研制工程进度的风险分布特征,建立了包含正态分布、β分布、三角分布的随机网络进度风险分析模型,通过蒙特卡罗法仿真获得工程项目的进度估计及其统计分布特性,从而获得工程总工期的风险,并结合实例进行了分析.     

几何内蕴量对拉伸模具工作面力学性能的影响

曲率、度规不变量、凸凹性等几何内蕴量的不均匀分布直接影响模具的力学性能。本文研究了曲率与变形能、曲率与摩擦耗损功、度规不变量与热辐射、凸凹分布与辐射热通量等几何内蕴量与力学量之间的关系。结果表明:复杂曲面表面高斯曲率的不连续分布将导致表面的变形能、摩擦耗损功出现相应的不连续分布;型面上沿拉伸方向截面线的法曲率越小,摩擦耗损功越大;型面上的热通量会随着拐点数量的增加而增加。这些结果为模具表面优化设计提供了新的理论依据。     

Outsourcing warranty repairs: Dynamic allocation

In this paper we consider the problem of minimizing the costs of outsourcing warranty repairs when failed items are dynamically routed to one of several service vendors. In our model, the manufacturer incurs a repair cost each time an item needs repair and also incurs a goodwill cost while an item is awaiting and undergoing repair. For a large manufacturer with annual warranty costs in the tens of millions of dollars, even a small relative cost reduction from the use of dynamic (rather than static) allocation may be practically significant. However, due to the size of the state space, the resulting dynamic programming problem is not exactly solvable in practice. Furthermore, standard routing heuristics, such as join‐the‐shortest‐queue, are simply not good enough to identify potential cost savings of any significance. We use two different approaches to develop effective, simply structured index policies for the dynamic allocation problem. The first uses dynamic programming policy improvement while the second deploys Whittle's proposal for restless bandits. The closed form indices concerned are new and the policies sufficiently close to optimal to provide cost savings over static allocation. All results of this paper are demonstrated using a simulation study. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005     

党的第三代领导集体对正确处理人民内部矛盾理论的丰富和发展

以江泽民为核心的党的第三代领导集体,在建立社会主义市场经济的形势下,进一步丰富和发展了毛泽东正确处理人民内部矛盾的理论。主要表现在:深化了对正确处理人民内部矛盾重要意义的认识,开拓了正确认识人民内部矛盾的新领域,发展了依法正确处理人民内部矛盾的思想,以公开、公平、公正为准则领导了正确处理人民内部矛盾的新实践。     

编队协同反导决策方案优选

为了充分地调度好编队全部的抗导资源,实现抗导弹群的成功概率最大,在利用随机服务系统理论对编队协同反导决策方案各指标值进行计算的基础上,将"模糊优选理论"与"协同学原理"有机地结合起来,求解了在反舰导弹到达强度与舰空导弹的单发杀伤概率在不同值的情况下,编队协同反导决策方案的隶属度,为编队指挥员进行反导决策方案的优选提供了科学依据。     

采用多种群搜索策略的微粒群算法调整消磁绕组

目前,常用的消磁系统调整方法一般都是针对舰艇磁场进行的,而较少考虑磁场梯度。为改善舰艇的磁隐身性能,应当同时考虑两者的有效衰减,由此确定的电流优化调整问题为多目标优化问题。为解决该问题,首先采用一种基于多种群搜索策略的微粒群算法分别求解两类目标函数的最优值,并将这两类最优值作为目标函数的归一化常数,然后选取一组适当的权重将多目标优化问题转化为单目标优化问题,并采用多种群微粒群算法求解该单目标优化问题。最后,采用一个典型的消磁系统优化调整问题来验证方法的有效性。实验结果表明:该方法不但能够实现舰船磁信号的削减,同时还能有效抑制舰船磁信号的波动。